conditionally complete lattice

条件完全格